The equivalence problem for real-time strict deterministic languages

Characterizations of stack uniform strict deterministic languages

Iteration Theorems for Families of Strict Deterministic Languages

Two iteration theorems, one for strict deterministic languages of degree n, the other for simple deterministic languages, are presented. Examples demonstrating the use of these theorems 2re also given.

the algorithm for solving the inverse numerical range problem

برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.

The Equivalence Problem for Deterministic Finite-Turn Pushdown Automata

A deterministic pushdown automaton (dpda) is described as finite-turn if there is a bound on the number of times the direction of the stack movement can change in the set of all derivations from the starting configuration. The purpose of this paper is to show that there exists a procedure for deciding whether two such finite-turn machines recognize the same language. By virtue of a direct corre...

The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable

It is decidable for deterministic MSO definable graph-to-string or graphto-tree transducers whether they are equivalent on a context-free set of graphs. It is well known that the equivalence problem for nondeterministic (one-way) finite state transducers is undecidable, even when they cannot read or write the empty string [Gri68]. In contrast, equivalence is decidable for deterministic finite s...